Elimination of infinitesimal quantifiers

Elimination of Predicate Quantifiers

Tarski’s Principle and the Elimination of Quantifiers

This is an expository article on Tarski’s principle and the elimination of quantifiers for real closed and algebraically closed fields.

Almost everywhere elimination of probability quantifiers

We obtain an almost everywhere quantifier elimination for (the noncritical fragment of) the logic with probability quantifiers, introduced by the first author in [10]. This logic has quantifiers like ∃≥3/4y, which says that “for at least 3/4 of all y”. These results improve upon the 0-1 law for a fragment of this logic obtained by Knyazev [11]. Our improvements are: 1. We deal with the quantifi...

Elimination of Malitz Quantifiers in Stable Theories

The main result of this paper is (a slightly stronger form of) the following theorem: let T be a countable complete first-order theory which is stable. If, for some a > 1, the Malitz quantifier Ql is eliminable in T then all Malitz quantifiers Qg (β > 0, m > 1) are eliminable in T. This complements results of Baldwin-Kueker [1J and Rothmaler-Tuschik [3]. 1. Introduction. In this paper we consid...

On almost sure elimination of generalized quantifiers